Liu E - PDFSEARCH.IO - Document Search Engine

Liu E
Results: 235

#	Item
151	LTHs 7:e Pedagogiska Inspirationskonferens, 30 augusti[removed]Pedagogical Experiences of Competitive Elements in an Algorithms Course Fredrik Heintz and Tommy Färnqvist, Linköping University, Sweden Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2013-01-15 11:40:24 International Mathematical Olympiad Mathematics competitions University-preparatory schools
152	Reasoning about A c t i o n in Polynomial T i m e T h o m a s D r a k e n g r e n and M a r c u s B j a r e l a n d Department of Computer and Information Science Link6ping University, S[removed]Linkoping, Sweden email: { Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:33:24 Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation P-complete Temporal logic Frame problem Cook–Levin theorem Theoretical computer science Applied mathematics Mathematics
153	Managing Dynamic Object Structures using Hypothesis Generation and Validation Fredrik Heintz and Patrick Doherty Abstract Any autonomous system embedded in a dynamic and changing environment must be able to create qualit Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-03 07:01:06 Software engineering Object Manager Windows NT architecture Object Pose E Computer programming Object-oriented programming Computer vision Computing
154	Towards Ecient Universal Planning\|A Randomized Approach Peter Jonsson, Patrik Haslum and Christer Backstrom Department of Computer and Information Science Linkoping University, S[removed]Linkoping, Sweden fpetej,paha Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 04:30:41 Applied mathematics Polynomial hierarchy P SL L NC Time complexity FO Completeness Theoretical computer science Computational complexity theory Complexity classes
155	Abstract The area of reasoning about action and change is concerned with the formalization of actions and their eects as well as other aspects of inhabited dynamical systems. The representation is typically done in some Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-07 10:05:24 Logic in computer science Science Knowledge representation Epistemology Reasoning Frame problem Event calculus Situation calculus Dynamic logic Mathematical logic Logic Logic programming
156	Reasoning by Regression: Pre- and Postdiction Procedures for Logics o f A c t i o n a n d C h a n g e w i t h Nondeterminism* M a r c u s B j a r e l a n d and L a r s K a r l s s o n Department of Computer and Informati Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-24 05:34:02 Epistemology Frame problem Theoretical computer science Situation calculus Science Predicate transformer semantics Event calculus Logic programming Knowledge representation Artificial intelligence
157	International Journal of Cardiology[removed]–107 Exaggerated heart rate oscillations during two meditation techniques C.-K. Peng a,b , Joseph E. Mietus a,b , Yanhui Liu a , Gurucharan Khalsa a , Pamela S. Douglas Add to Reading List Source URL: reylab.bidmc.harvard.edu Language: English - Date: 2003-08-15 17:23:29 Medicine Spirituality Spiritual practice Cardiac electrophysiology Research on meditation Kundalini yoga Hilbert transform Buddhist meditation Yoga Alternative medicine Meditation Mind-body interventions
158	LINKMAV, A PROTOYPE ROTARY WING MICRO AERIAL VEHICLE S. Duranti and G. Conte and D. Lundstr¨ om and P. Rudol and M. Wzorek and P. Doherty Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-01-31 08:00:33 Radio-controlled aircraft Helicopter rotor Coaxial rotors Helicopter Radio-controlled helicopter Tail rotor Electric motor Brushless DC electric motor E-Sky Lama model helicopters Aircraft Rotorcraft Aerospace engineering
159	Chronicle Recognition in the WITAS UAV Project A Preliminary Report Fredrik Heintz Dept. of Computer and Information Science Link¨oping university, Sweden E-mail: [removed] Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-02 05:32:40 Ambient intelligence Chronicle Military terminology Signals intelligence Unmanned aerial vehicle
160	Ecient Reasoning using the Local Closed-World Assumption Patrick Doherty1? , Witold Lukaszewicz2, and Andrzej Szalas2 1 Department of Computer and Information Science, Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2012-02-01 08:05:06 Mathematical logic Circumscription Closed world assumption Inference Literal Horn clause Function Logic Logic programming Mathematics

UPDATE